Constraint Satisfaction mit Petri-Netzen

Ein Constraint Satisfaction Problem (CSP) besteht aus Variablen, Wertebereichen und Constraints, die die Belegungskombinationen der Variablen einschränken. Wir zeigen, wie man CSPs mit Hilfe von Pr/T-Netzen modellieren und lösen kann. In den verwendeten Netzen gibt es neben den konventionellen Stellenmarken Transitionsmarken, die sich entgegen der Kantenrichtung bewegen, wenn Stellen schalten. Auch wenn es offensichtliche Parallelen zwischen den Prozessen in diesen Pr/T-Netzen und den CSP-Lösungsprozessen gibt, sind grundlegende Unterschiede zwischen den beiden Paradigmen zu überwinden.